Aspect-Oriented Modeling to Support Dynamic Adaptation

Since software systems need to be continuously available under varying conditions, their ability to evolve at runtime is increasingly seen as one key issue. Modern programming frameworks already provide support for dynamic adaptations. However the high-variability of features in Dynamically Adaptive Systems (DAS) introduces an explosion of possible runtime system con gurations (often called modes) and mode transitions. Designing these con gurations and their transitions is tedious and errorprone, making the system feature evolution di cult. This demo presents a tool-chain developed by the DiVA project, which combines AOM and Model-Driven Engineering to tame the combinatorial explosion of DAS modes. Using AOM techniques, we derive a wide range of modes by weaving aspects into an explicit model re ecting the runtime system. We use these generated modes to automatically adapt the system using MDE techniques. 1 A Brief Introduction of DiVA DiVA is a European project that aims at providing a new tool-supported methodology with an integrated framework for managing dynamic variability in adaptive systems. DiVA addresses this goal by combining Aspect-Oriented and ModelDriven techniques in an innovative way. DiVA mobilizes leading players within the domains of model-driven engineering, aspect-oriented analysis and modeling, variability modeling and partners that provide advanced end user systems and applications where the demand for adaptation is a major concern. There are 3 academic partners in DiVA: SINTEF (Norway), Lancaster (UK) and INRIA (France), and 3 industrial partners: puresystems GmbH (Germany), Thales (France) and CAS Software AG (Germany). 2 An Overview of the Demo The demonstration illustrates the model-based and aspect-oriented DiVA toolchain on a simple case study. It basically presents the tools associated with previous publications [1,2,3]. ? The research leading to these results has received funding from the European Community's Seventh Framework Program FP7 under grant agreements 215412 (DiVA, http://www.ict-diva.eu/) in ria -0 05 04 66 4, v er si on 1 21 J ul 2 01 0 Author manuscript, published in "Forum Demo at AOSD'10 (2010)"